[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 128 88 77 0 177 0 59 0

N.S.

1 1.00 0.69 0.60 0.00 1.38 0.00 0.46 0.00

time (sec)

N/A 0.020 0.047 0.191 0.000 0.255 0.000 0.316 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 59 58 0 147 0 0 0

N.S.

1 1.00 0.65 0.64 0.00 1.62 0.00 0.00 0.00

time (sec)

N/A 0.013 0.031 0.070 0.000 0.263 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 60 49 0 0 90 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 1.50 0.00 0.00 0.00

time (sec)

N/A 0.009 0.012 0.000 0.000 0.261 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 25 33 0 34 0 0 34

N.S.

1 1.00 0.74 0.97 0.00 1.00 0.00 0.00 1.00

time (sec)

N/A 0.006 0.008 0.085 0.000 0.251 0.000 0.000 13.210

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 70 38 44 0 58 0 0 45

N.S.

1 1.03 0.56 0.65 0.00 0.85 0.00 0.00 0.66

time (sec)

N/A 0.010 0.010 0.078 0.000 0.242 0.000 0.000 13.247

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 107 49 55 0 80 0 0 56

N.S.

1 1.02 0.47 0.52 0.00 0.76 0.00 0.00 0.53

time (sec)

N/A 0.015 0.081 0.076 0.000 0.262 0.000 0.000 13.081

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 148 60 66 0 102 0 0 141

N.S.

1 1.10 0.44 0.49 0.00 0.76 0.00 0.00 1.04

time (sec)

N/A 0.022 0.026 0.076 0.000 0.260 0.000 0.000 12.955

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

299 299 81 37 0 583 63 75 872

N.S.

1 1.00 0.27 0.12 0.00 1.95 0.21 0.25 2.92

time (sec)

N/A 0.222 0.034 0.103 0.000 0.260 0.397 0.282 13.151

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 43 32 0 269 257 31 85

N.S.

1 1.00 0.91 0.68 0.00 5.72 5.47 0.66 1.81

time (sec)

N/A 0.018 0.021 0.043 0.000 0.273 0.330 0.261 0.109

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

299 299 52 37 0 407 48 0 469

N.S.

1 1.00 0.17 0.12 0.00 1.36 0.16 0.00 1.57

time (sec)

N/A 0.227 0.023 0.099 0.000 0.248 0.304 0.000 12.983

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 37 26 25 25 26 29 11

N.S.

1 1.00 2.18 1.53 1.47 1.47 1.53 1.71 0.65

time (sec)

N/A 0.004 0.006 0.027 0.197 0.243 0.081 0.286 0.038

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 18 17 17 20 17 17

N.S.

1 1.00 1.00 0.75 0.71 0.71 0.83 0.71 0.71

time (sec)

N/A 0.004 0.009 0.045 0.282 0.259 0.073 0.287 12.827

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 91 54 53 53 70 53 83

N.S.

1 1.00 1.36 0.81 0.79 0.79 1.04 0.79 1.24

time (sec)

N/A 0.029 0.064 0.039 0.286 0.247 0.106 0.281 12.875

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 77 35 0 157 63 56 47

N.S.

1 1.00 1.04 0.47 0.00 2.12 0.85 0.76 0.64

time (sec)

N/A 0.026 0.058 0.046 0.000 0.249 0.091 0.289 0.109

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 176 41 31 0 85 899 143 210

N.S.

1 1.00 0.23 0.18 0.00 0.48 5.11 0.81 1.19

time (sec)

N/A 0.112 0.040 0.083 0.000 0.261 0.597 0.478 13.206

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 65 51 0 9 0 0 0

N.S.

1 1.00 6.50 5.10 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.008 10.022 0.540 0.000 0.073 0.000 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 49 84 0 36 0 0 0

N.S.

1 1.00 1.02 1.75 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.084 10.047 0.368 0.000 0.074 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

48 48 53 80 0 41 0 0 0

N.S.

1 1.00 1.10 1.67 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 0.066 10.048 0.364 0.000 0.076 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

44 44 49 84 0 36 0 0 0

N.S.

1 1.00 1.11 1.91 0.00 0.82 0.00 0.00 0.00

time (sec)

N/A 0.047 10.039 0.374 0.000 0.075 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 63 41 0 9 0 0 0

N.S.

1 1.00 5.25 3.42 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.007 10.025 0.312 0.000 0.071 0.000 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 18 0 17 37 0 16

N.S.

1 1.00 1.00 1.00 0.00 0.94 2.06 0.00 0.89

time (sec)

N/A 0.004 10.097 0.359 0.000 0.073 0.361 0.000 13.282

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 49 0 17 0 0 0

N.S.

1 1.00 1.00 2.45 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 0.007 10.030 0.332 0.000 0.075 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

42 42 51 84 0 36 0 0 0

N.S.

1 1.00 1.21 2.00 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 0.041 10.051 0.365 0.000 0.077 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

46 46 55 80 0 41 0 0 0

N.S.

1 1.00 1.20 1.74 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.061 10.057 0.359 0.000 0.078 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 49 84 0 36 0 0 0

N.S.

1 1.00 1.02 1.75 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.060 10.048 0.349 0.000 0.074 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 54 50 0 16 0 0 0

N.S.

1 1.00 3.00 2.78 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.008 10.034 0.329 0.000 0.072 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

45 45 52 84 0 50 0 0 0

N.S.

1 1.00 1.16 1.87 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 0.043 10.047 0.378 0.000 0.074 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 43 84 0 51 0 0 0

N.S.

1 1.00 0.98 1.91 0.00 1.16 0.00 0.00 0.00

time (sec)

N/A 0.082 10.041 0.318 0.000 0.074 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 65 51 0 9 0 0 0

N.S.

1 1.00 6.50 5.10 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.008 10.026 0.298 0.000 0.074 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

44 44 51 84 0 36 0 0 0

N.S.

1 1.00 1.16 1.91 0.00 0.82 0.00 0.00 0.00

time (sec)

N/A 0.051 10.043 0.323 0.000 0.076 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

45 45 50 84 0 57 0 0 0

N.S.

1 1.00 1.11 1.87 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 0.043 10.046 0.324 0.000 0.080 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

44 44 49 84 0 36 0 0 0

N.S.

1 1.00 1.11 1.91 0.00 0.82 0.00 0.00 0.00

time (sec)

N/A 0.038 10.037 0.314 0.000 0.073 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 47 0 17 0 0 0

N.S.

1 1.00 1.00 2.35 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 0.007 10.033 0.301 0.000 0.074 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 18 0 35 37 0 16

N.S.

1 1.00 1.00 1.00 0.00 1.94 2.06 0.00 0.89

time (sec)

N/A 0.005 10.035 0.290 0.000 0.073 0.370 0.000 12.835

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 65 43 0 9 0 0 0

N.S.

1 1.00 5.42 3.58 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.007 10.025 0.300 0.000 0.073 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

42 42 51 84 0 36 0 0 0

N.S.

1 1.00 1.21 2.00 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 0.039 10.036 0.325 0.000 0.078 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

43 43 52 84 0 58 0 0 0

N.S.

1 1.00 1.21 1.95 0.00 1.35 0.00 0.00 0.00

time (sec)

N/A 0.025 10.045 0.329 0.000 0.073 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

44 44 51 84 0 36 0 0 0

N.S.

1 1.00 1.16 1.91 0.00 0.82 0.00 0.00 0.00

time (sec)

N/A 0.052 10.045 0.316 0.000 0.077 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 54 50 0 16 0 0 0

N.S.

1 1.00 3.00 2.78 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.007 10.027 0.619 0.000 0.075 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 45 84 0 50 0 0 0

N.S.

1 1.00 1.07 2.00 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.064 10.043 0.605 0.000 0.075 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

45 45 52 84 0 50 0 0 0

N.S.

1 1.00 1.16 1.87 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 0.036 10.042 0.621 0.000 0.075 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 54 53 0 16 0 0 0

N.S.

1 1.00 0.81 0.79 0.00 0.24 0.00 0.00 0.00

time (sec)

N/A 0.005 10.037 0.605 0.000 0.073 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 81 84 0 50 0 0 0

N.S.

1 1.00 0.57 0.60 0.00 0.35 0.00 0.00 0.00

time (sec)

N/A 0.024 10.053 0.539 0.000 0.079 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

146 146 83 84 0 41 0 0 0

N.S.

1 1.00 0.57 0.58 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.026 10.056 0.589 0.000 0.077 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

141 141 83 84 0 50 0 0 0

N.S.

1 1.00 0.59 0.60 0.00 0.35 0.00 0.00 0.00

time (sec)

N/A 0.021 10.045 0.578 0.000 0.078 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 48 43 0 23 0 0 0

N.S.

1 1.00 0.76 0.68 0.00 0.37 0.00 0.00 0.00

time (sec)

N/A 0.006 10.027 0.520 0.000 0.075 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

115 115 40 40 0 23 34 0 31

N.S.

1 1.00 0.35 0.35 0.00 0.20 0.30 0.00 0.27

time (sec)

N/A 0.010 10.035 0.535 0.000 0.073 0.375 0.000 0.086

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 60 53 0 9 0 0 0

N.S.

1 1.00 0.92 0.82 0.00 0.14 0.00 0.00 0.00

time (sec)

N/A 0.005 10.028 0.581 0.000 0.073 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

148 148 81 84 0 49 0 0 0

N.S.

1 1.00 0.55 0.57 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.018 10.042 0.577 0.000 0.077 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 81 84 0 41 0 0 0

N.S.

1 1.00 0.53 0.55 0.00 0.27 0.00 0.00 0.00

time (sec)

N/A 0.022 10.054 0.582 0.000 0.073 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 81 84 0 50 0 0 0

N.S.

1 1.00 0.55 0.57 0.00 0.34 0.00 0.00 0.00

time (sec)

N/A 0.022 10.056 0.591 0.000 0.079 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 65 53 0 17 0 0 0

N.S.

1 1.00 1.03 0.84 0.00 0.27 0.00 0.00 0.00

time (sec)

N/A 0.005 10.029 0.585 0.000 0.075 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

148 148 80 84 0 50 0 0 0

N.S.

1 1.00 0.54 0.57 0.00 0.34 0.00 0.00 0.00

time (sec)

N/A 0.021 10.047 0.638 0.000 0.073 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 77 84 0 57 0 0 0

N.S.

1 1.00 0.52 0.57 0.00 0.39 0.00 0.00 0.00

time (sec)

N/A 0.028 10.048 0.574 0.000 0.076 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 54 53 0 16 0 0 0

N.S.

1 1.00 0.81 0.79 0.00 0.24 0.00 0.00 0.00

time (sec)

N/A 0.007 10.028 0.518 0.000 0.076 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

148 148 83 84 0 50 0 0 0

N.S.

1 1.00 0.56 0.57 0.00 0.34 0.00 0.00 0.00

time (sec)

N/A 0.018 10.048 0.602 0.000 0.076 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 80 84 0 64 0 0 0

N.S.

1 1.00 0.55 0.58 0.00 0.44 0.00 0.00 0.00

time (sec)

N/A 0.018 10.050 0.614 0.000 0.074 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

143 143 83 84 0 50 0 0 0

N.S.

1 1.00 0.58 0.59 0.00 0.35 0.00 0.00 0.00

time (sec)

N/A 0.015 10.047 0.580 0.000 0.073 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 63 51 0 9 0 0 0

N.S.

1 1.00 1.00 0.81 0.00 0.14 0.00 0.00 0.00

time (sec)

N/A 0.006 10.027 0.625 0.000 0.074 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

112 112 40 40 0 35 34 0 31

N.S.

1 1.00 0.36 0.36 0.00 0.31 0.30 0.00 0.28

time (sec)

N/A 0.010 10.031 0.660 0.000 0.075 0.358 0.000 0.084

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 51 45 0 23 0 0 0

N.S.

1 1.00 0.78 0.69 0.00 0.35 0.00 0.00 0.00

time (sec)

N/A 0.005 10.025 0.563 0.000 0.075 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

150 150 81 84 0 49 0 0 0

N.S.

1 1.00 0.54 0.56 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.015 10.042 0.566 0.000 0.074 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 78 84 0 64 0 0 0

N.S.

1 1.00 0.51 0.55 0.00 0.42 0.00 0.00 0.00

time (sec)

N/A 0.016 10.047 0.597 0.000 0.075 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

155 155 83 84 0 50 0 0 0

N.S.

1 1.00 0.54 0.54 0.00 0.32 0.00 0.00 0.00

time (sec)

N/A 0.017 10.051 0.592 0.000 0.073 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 65 53 0 17 0 0 0

N.S.

1 1.00 1.03 0.84 0.00 0.27 0.00 0.00 0.00

time (sec)

N/A 0.005 10.025 0.563 0.000 0.071 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 58 44 0 11 0 0 0

N.S.

1 1.00 1.12 0.85 0.00 0.21 0.00 0.00 0.00

time (sec)

N/A 0.005 10.028 0.730 0.000 0.075 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 144 87 0 36 0 0 0

N.S.

1 1.00 1.60 0.97 0.00 0.40 0.00 0.00 0.00

time (sec)

N/A 0.015 10.070 0.611 0.000 0.071 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 144 87 0 36 0 0 0

N.S.

1 1.00 1.57 0.95 0.00 0.39 0.00 0.00 0.00

time (sec)

N/A 0.012 10.082 0.628 0.000 0.073 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 144 87 0 36 0 0 0

N.S.

1 1.00 1.57 0.95 0.00 0.39 0.00 0.00 0.00

time (sec)

N/A 0.011 10.061 0.620 0.000 0.072 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 142 85 0 36 0 0 0

N.S.

1 1.00 1.61 0.97 0.00 0.41 0.00 0.00 0.00

time (sec)

N/A 0.010 10.066 0.626 0.000 0.072 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 25 18 0 17 36 0 16

N.S.

1 1.00 0.35 0.25 0.00 0.24 0.50 0.00 0.22

time (sec)

N/A 0.005 10.036 0.606 0.000 0.071 0.355 0.000 0.091

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 144 87 0 36 0 0 0

N.S.

1 1.00 1.60 0.97 0.00 0.40 0.00 0.00 0.00

time (sec)

N/A 0.011 10.057 0.605 0.000 0.076 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 144 87 0 36 0 0 0

N.S.

1 1.00 1.60 0.97 0.00 0.40 0.00 0.00 0.00

time (sec)

N/A 0.012 10.067 0.632 0.000 0.072 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 144 87 0 36 0 0 0

N.S.

1 1.00 1.60 0.97 0.00 0.40 0.00 0.00 0.00

time (sec)

N/A 0.011 10.082 0.644 0.000 0.072 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 144 87 0 36 0 0 0

N.S.

1 1.00 1.64 0.99 0.00 0.41 0.00 0.00 0.00

time (sec)

N/A 0.009 10.062 0.600 0.000 0.073 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 53 42 0 9 0 0 0

N.S.

1 1.00 0.58 0.46 0.00 0.10 0.00 0.00 0.00

time (sec)

N/A 0.015 10.024 0.581 0.000 0.072 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 85 82 0 36 0 0 0

N.S.

1 1.00 0.94 0.91 0.00 0.40 0.00 0.00 0.00

time (sec)

N/A 0.012 10.069 0.607 0.000 0.074 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

110 110 97 82 0 58 0 0 0

N.S.

1 1.00 0.88 0.75 0.00 0.53 0.00 0.00 0.00

time (sec)

N/A 0.058 10.059 0.684 0.000 0.082 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

110 110 98 82 0 36 0 0 0

N.S.

1 1.00 0.89 0.75 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.054 10.063 0.658 0.000 0.071 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 61 50 0 11 0 0 0

N.S.

1 1.00 1.02 0.83 0.00 0.18 0.00 0.00 0.00

time (sec)

N/A 0.005 10.025 0.596 0.000 0.081 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

104 104 90 82 0 34 0 0 0

N.S.

1 1.00 0.87 0.79 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.048 10.067 0.628 0.000 0.075 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 58 50 0 17 0 0 0

N.S.

1 1.00 1.12 0.96 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.005 10.026 0.806 0.000 0.071 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 144 87 0 36 0 0 0

N.S.

1 1.00 1.60 0.97 0.00 0.40 0.00 0.00 0.00

time (sec)

N/A 0.012 10.072 0.623 0.000 0.075 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 142 87 0 52 0 0 0

N.S.

1 1.00 1.54 0.95 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 0.007 10.082 0.629 0.000 0.074 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 144 87 0 36 0 0 0

N.S.

1 1.00 1.57 0.95 0.00 0.39 0.00 0.00 0.00

time (sec)

N/A 0.009 10.064 0.630 0.000 0.075 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 140 85 0 42 0 0 0

N.S.

1 1.00 1.59 0.97 0.00 0.48 0.00 0.00 0.00

time (sec)

N/A 0.008 10.057 0.641 0.000 0.073 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 25 18 0 35 36 0 16

N.S.

1 1.00 0.35 0.25 0.00 0.49 0.50 0.00 0.22

time (sec)

N/A 0.005 10.036 0.622 0.000 0.076 0.355 0.000 0.091

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 142 87 0 42 0 0 0

N.S.

1 1.00 1.58 0.97 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 0.010 10.056 0.602 0.000 0.076 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 144 87 0 36 0 0 0

N.S.

1 1.00 1.60 0.97 0.00 0.40 0.00 0.00 0.00

time (sec)

N/A 0.007 10.062 0.623 0.000 0.074 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 142 87 0 54 0 0 0

N.S.

1 1.00 1.58 0.97 0.00 0.60 0.00 0.00 0.00

time (sec)

N/A 0.007 10.073 0.632 0.000 0.076 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 144 87 0 36 0 0 0

N.S.

1 1.00 1.64 0.99 0.00 0.41 0.00 0.00 0.00

time (sec)

N/A 0.008 10.065 0.622 0.000 0.074 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 53 42 0 9 0 0 0

N.S.

1 1.00 0.58 0.46 0.00 0.10 0.00 0.00 0.00

time (sec)

N/A 0.007 10.026 0.600 0.000 0.073 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 81 82 0 36 0 0 0

N.S.

1 1.00 0.90 0.91 0.00 0.40 0.00 0.00 0.00

time (sec)

N/A 0.007 10.067 0.625 0.000 0.073 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 58 49 0 16 0 0 0

N.S.

1 1.00 0.63 0.53 0.00 0.17 0.00 0.00 0.00

time (sec)

N/A 0.010 10.024 0.624 0.000 0.075 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 58 48 0 16 0 0 0

N.S.

1 1.00 3.05 2.53 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.010 10.022 0.587 0.000 0.073 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 81 82 0 44 0 0 0

N.S.

1 1.00 1.84 1.86 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.051 10.029 0.582 0.000 0.075 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 53 50 0 9 0 0 0

N.S.

1 1.00 3.79 3.57 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.009 10.025 0.577 0.000 0.073 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 144 87 0 47 0 0 0

N.S.

1 1.00 1.64 0.99 0.00 0.53 0.00 0.00 0.00

time (sec)

N/A 0.008 10.042 0.555 0.000 0.072 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 142 87 0 61 0 0 0

N.S.

1 1.00 1.58 0.97 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.007 10.058 0.588 0.000 0.080 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 144 87 0 42 0 0 0

N.S.

1 1.00 1.60 0.97 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 0.007 10.048 0.579 0.000 0.072 0.000 0.000 0.000

[next] [front] [up]